импликативная алгебра

Игры ⚽ Нужно решить контрольную?

АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Полугруппа с делением — В математике полугруппой с делением называется частично упорядоченная полугруппа , в которой для любых двух элементов и определены правое ( ) и левое ( ) частные, причём выполняются условия … Википедия

Academic Dictionaries and Encyclopedias